e275cc9a9172b9bf5f0e3679d4b71fed9683e041,plugins/modelchecker/source_gen/jetbrains/mps/ide/modelchecker/actions/CheckModel_Action.java,CheckModel_Action,doUpdate,#AnActionEvent#Map#,39
Before Change
{
String whatToCheck = "Model";
if (((List<SModel>) MapSequence.fromMap(_params).get("models")).size() > 1) {
whatToCheck = ((List<SModel>) MapSequence.fromMap(_params).get("models")).size() + " Models";
}
event.getPresentation().setText("Check " + whatToCheck);
}
After Change
public void doUpdate(@NotNull AnActionEvent event, final Map<String, Object> _params) {
try {
{
List<SModel> modelsToCheck = new ArrayList<SModel>();
if (((List<SModel>) MapSequence.fromMap(_params).get("models")) != null) {
modelsToCheck.addAll(((List<SModel>) MapSequence.fromMap(_params).get("models")));
}
if (((SModel) MapSequence.fromMap(_params).get("model")) != null && !(modelsToCheck.contains(((SModel) MapSequence.fromMap(_params).get("model"))))) {
modelsToCheck.add(((SModel) MapSequence.fromMap(_params).get("model")));
}
String whatToCheck = "Model";
if (modelsToCheck.size() > 1) {
whatToCheck = modelsToCheck.size() + " Models";
}